Strategies for Belief Revision
نویسنده
چکیده
This paper is a contribution to dynamic doxastic logic (DDL), that is, doxastic logic supplemented with operators for belief change due to new information. Thus in addition to operators for belief (B) and doxastic commitment (K) we also have, for each pure Boolean formula φ, a propositional operator [∗φ] with the informal reading “after the agent has come to believe that φ and revised his beliefs accordingly it is the case that”. The resulting new logical landscape turns out to be overwhelmingly rich. An important question—and the topic of this paper—is how to deal with this richness. Krister Segerberg Uppsala Universitet, Box 627, 751 26 Uppsala, Sweden e-mail: [email protected]
منابع مشابه
Belief Revision for Cognitive Agents: Individual Variation in Multi-Agent Systems
This paper presents a formal framework for modeling belief revision in cognitive agents, to integrate realistic epistemic dynamics in agent-based social simulation. Special emphasis is given to individual variation in MAS: agents are allowed to change their beliefs according to different cognitive styles, and such individual distinctions are captured and specified by the model. Although the fra...
متن کاملLogical Foundations of Negotiation: Strategies and Preferences
This paper is a contribution towards the body of literature which views negotiation in a qualitative light. It builds on an existing logical framework for negotiation between rational, cooperative, truthful agents proposed in (Meyer, Kwok, & Zhang 2003). We show that agents equipped with negotiation strategies corresponding to basic AGM belief revision operations are capable of reaching exactly...
متن کاملRanking Revision with Conditional Knowledge Bases
We introduce a new model for belief dynamics where the belief states are ranking measures and the informational inputs are finite sets of parametrized conditionals interpreted by ranking constraints. The approach is inspired by the minimal information paradigm and generalizes ranking construction strategies developed for default reasoning. We show its handling of principles for conditional and ...
متن کاملCommon Foundations for belief revision, belief merging and voting
In this paper, we consider a number of different ways of reasoning about voting as a problem of conciliating contradictory interests. The mechanisms that do the reconciliation are belief revision and belief merging. By investigating the relationship between different voting strategies and their associated counterparts in revision theory, we find that whereas the counting mechanism of the voting...
متن کاملCognitive and Neuronal Correlates of Spatial Belief Revision
Humans frequently need to “change their minds” in the light of information that contradicts an existing set of beliefs. They have to decide which beliefs to retain and which ones to retract. The present thesis is concerned with the construction and revision of beliefs in the spatial context. Revision is assumed to be a variation process that is based on the relocation of objects within initiall...
متن کاملAGM, Ranking Theory, and the Many Ways to Cope with Examples
The paper first explains how the ranking-theoretic belief change or conditionalization rules entail all of the standard AGM belief revision and contraction axioms. Those axioms have met a lot of objections and counter-examples, which thus extend to ranking theory as well. The paper argues for a paradigmatic set of cases that the counter-examples can be well accounted for with various pragmatic ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012